1. Formal techniques in real-time and fault-tolerant systems : 5th International symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings
پدیدآورنده : Anders P. Ravn, Hans Rischel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
رده :
QA
76
.
L28
Vol
.
1486
